remove unused patches
authorMichael R. Crusoe <michael.crusoe@gmail.com>
Sun, 29 Sep 2019 15:33:48 +0000 (17:33 +0200)
committerMichael R. Crusoe <michael.crusoe@gmail.com>
Mon, 30 Sep 2019 09:25:09 +0000 (11:25 +0200)
commitc4459dfb2756f9a772247999b40b6a58959ddd5d
tree502efa37152ed83eeb1e62e703c34a834cb98193
parent5cbb28d2b12f656a9fe5be43920ff040be237d5e
remove unused patches
13 files changed:
debian/patches/do_not_output_everything_to_stderr.patch [deleted file]
debian/patches/fix_arm_mips_build [deleted file]
debian/patches/fix_checks [deleted file]
debian/patches/fix_gcc46_errors [deleted file]
debian/patches/fix_gcc47_errors [deleted file]
debian/patches/fix_version_extraction [deleted file]
debian/patches/include_typeinfo [deleted file]
debian/patches/optionally_keep_sequence
debian/patches/series
debian/patches/support_boost_1_67 [deleted file]
debian/patches/support_other_cpus [deleted file]
debian/patches/support_recent_boost [deleted file]
debian/patches/wrong_path_to_touch.patch [deleted file]